Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
00CC96 | Monica Nesi [Royaume-Uni] ; Valeria De Paiva [Royaume-Uni] ; Eike Ritter [Royaume-Uni] | Rewriting properties of combinators for rudimentary linear logic |
00D228 | Paola Inverardi [Italie] ; Monica Nesi [Royaume-Uni] | A strategy to deal with divergent rewrite systems |
This area was generated with Dilib version V0.6.33. |